Concurrent programming - principles and practice

My Current Work on CertiKOS

My research goal is to make critical software systems truly reliable and secure through formal verification. As the backbone of modern software systems, operating system (OS) kernels have great impacts on the reliability and security of today’s computing hosts. OS kernels, however, are complicated, highly concurrent, and prone to bugs. For the past several years, my research has focused on inve...

1 Issues in Object - Oriented Language Design

My guess is that object-oriented programming will be in the 1980s what structured programming was in the 1970s. Everyone will be in favor of it. Every manufacturer will promote his products as supporting it. Every manager will pay lip service to it. Every programmer will practice it (differently). And no one will know just what it is. Tim Rentsch in [Ren82] In this chapter we explore essential ...

Conditions That Give Rise to Interference and Anomalous Behaviour

Programming language principles are of fundamental importance in supporting major applications on multiprocessor architectures. Many different language paradigms for general-purpose parallel computing have been proposed. The most appropriate choice of paradigm remains contentious and problematical. A novel approach to concurrent programming, based upon the formulation of definitions ("definitiv...

Multi-paradigm Logic Programming a Simple Operational Model for Concurrent Functional Logic Programming

In this paper we specify an operational semantics which combines the most important operational principles of functional logic languages, namely residuation and narrowing. Narrowing combines eecient evaluation principles of functional languages with the problem-solving capabilities of logic programming. Residuation restricts this combination but adds the possibility of concurrent computations. ...

Concurrent Programming: Algorithms, Principles, and Foundations - ReadingSample